pe{-}loc($p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}loc(pe{-}es($p$); pe{-}e($p$))